Decision Diagrams in Synthesis - Algorithms, Applications and Extensions
نویسندگان
چکیده
An overview on Decision Diagrams (DDs), the state-of-the-art data structure in computer aided design of integrated circuits, is given. The overview is not complete in the sense that all DDs are considered, but we mention the most important with practical relevance. DDs are widely used and in the meantime have also been integrated in commercial tools. In the following special interest is devoted to the use of DDs in the area of synthesis. We also discuss the innuence of DDs in other elds and outline future trends.
منابع مشابه
Correlation Coefficients for Hesitant Fuzzy Linguistic Term Sets
Here are many situations in real applications of decision making where we deal with uncertain conditions. Due to the different sources of uncertainty, since its original definition of fuzzy sets in 1965 cite{zadeh1965}, different generalizations and extensions of fuzzy sets have been introduced: Type-2 fuzzy sets cite{6,13}, Intuitionistic fuzzy sets cite{1}, fuzzy multi-sets cite{37} and et...
متن کاملB . Becker , R . E . Bryant , O . Coudert , Ch . Meinel ( Hrsg
s of the Talks 7 Probabilistic Analysis of Large Finite State Machines F. Somenzi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 On Improving OBDD-Based Verification in a Synthesis Environment W. Kunz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 On Computing the Maximum Power Cycle of Sequential Circuits A. Pardo . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملSylvan: multi-core decision diagrams
Decision diagrams such as binary decision diagrams and multivalued decision diagrams play an important role in various fields, including symbolic model checking. An ongoing challenge is to develop datastructures and algorithms for modern multi-core architectures. The BDD package Sylvan provides one contribution by implementing parallelized BDD operations and thus allowing sequential algorithms ...
متن کاملEfficient Algorithms for Creation of Linearly-independent Decision Diagrams and their Mapping to Regular Layouts
A new kind of a decision diagrams are presented: its nodes correspond to all types of nonsingular expansions for groups of input variables, in particular pairs. The diagrams are called the Linearly Independent (LI) Decision Diagrams (LI DDs). There are 840 nonsigular expansions for a pair of variables, thus 840 different types of nodes in the tree. Therefore, the number of nodes in such (exact)...
متن کاملInfluence Diagrams for the Optimization of a Vehicle Speed Profile
Influence diagrams are decision theoretic extensions of Bayesian networks. They are applied to diverse decision problems. In this paper we apply influence diagrams to the optimization of a vehicle speed profile. We present results of computational experiments in which an influence diagram was used to optimize the speed profile of a Formula 1 race car at the Silverstone F1 circuit. The computed ...
متن کامل